OSATE相关论文
使用体系结构分析和设计语言AADL（ Architecture Analysis and Design Language ）对月球车导航系统进行分析与建模，把整个导航系统合......
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模......
分析无人机导航系统的功能特点，把其分为三个子系统：测量系统、计算系统、执行系统。采用AADL对整个系统进行建模，使用OSATE工具，定义......
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息......
